A component based methodology for description of complex systems. An application to avionics systems
نویسندگان
چکیده
In this paper, we present a component based methodology for the description of complex systems and its application to the field of avionics components design. Avionics design involves several engineering branches, namely physics, electronics and computational science. Three viewpoints are extracted from this context: architectural, operating and functional viewpoints. The case study we use to illustrate this paper describes the compositional design of a subsystem of an aircraft’s flight controls. We show the description and composition of multiple viewpoints, the expression of critical properties on independent viewpoints, as well as on the resulting composite system. In a second step, we discuss how existing formal specification and verification techniques can be used to achieve requirement meeting verification. An application on the case study is also provided.
منابع مشابه
A review on EEG based brain computer interface systems feature extraction methods
The brain – computer interface (BCI) provides a communicational channel between human and machine. Most of these systems are based on brain activities. Brain Computer-Interfacing is a methodology that provides a way for communication with the outside environment using the brain thoughts. The success of this methodology depends on the selection of methods to process the brain signals in each pha...
متن کاملA review on EEG based brain computer interface systems feature extraction methods
The brain – computer interface (BCI) provides a communicational channel between human and machine. Most of these systems are based on brain activities. Brain Computer-Interfacing is a methodology that provides a way for communication with the outside environment using the brain thoughts. The success of this methodology depends on the selection of methods to process the brain signals in each pha...
متن کاملSoft Systems Methodology for Implementing Clinical Practice Guidelines in A General Hospital: A study protocol
Background: It is notoriously challenging to implement evidence-based care and to update and improve health care policy. Adhering to evidence-based Clinical Practice Guidelines (CPGs) serves as the driving force behind making decisions based on the best evidence and making efforts for improving the quality of patient care and outcomes. Despite requiring Iranian hospitals to implement CPGs in Ja...
متن کاملThe Application of Systems-Theoretic Accident Model and Process in the Systematic Nonlinear Analysis of Accidents in Car Industry
Background & objectives: Hundreds of methods have been introduced to analyze various events. Hence one of the effective and principle steps in accident analysis is proper and targeted selection of accident analysis method. Traditional methods of accident analysis in complex industries are not comprehensive and examine each components of the system separately. So, the use of new systematic metho...
متن کاملHierarchical Group Compromise Ranking Methodology Based on Euclidean–Hausdorff Distance Measure Under Uncertainty: An Application to Facility Location Selection Problem
Proposing a hierarchical group compromise method can be regarded as a one of major multi-attributes decision-making tool that can be introduced to rank the possible alternatives among conflict criteria. Decision makers’ (DMs’) judgments are considered as imprecise or fuzzy in complex and hesitant situations. In the group decision making, an aggregation of DMs’ judgments and fuzzy group compromi...
متن کامل